Porous Invariants
نویسندگان
چکیده
Abstract We introduce the notion of porous invariants for multipath (or branching/nondeterministic) affine loops over integers; these are not necessarily convex, and can in fact contain infinitely many ‘holes’. Nevertheless, we show that cases such be automatically synthesised, moreover used to settle (non-)reachability questions various interesting classes target sets.
منابع مشابه
Cardinal invariants of monotone and porous sets
A metric space (X, d) is monotone if there is a linear order < on X and a constant c such that d(x, y) 6 c d(x, z) for all x < y < z in X. We investigate cardinal invariants of the σ-ideal Mon generated by monotone subsets of the plane. Since there is a strong connection between monotone sets in the plane and porous subsets of the line, plane and the Cantor set, cardinal invariants of these ide...
متن کاملCharacterizing Algebraic Invariants by Differential Radical Invariants
We prove that any invariant algebraic set of a given polynomial vector field can be algebraically represented by one polynomial and a finite set of its successive Lie derivatives. This so-called differential radical characterization relies on a sound abstraction of the reachable set of solutions by the smallest variety that contains it. The characterization leads to a differential radical invar...
متن کاملOn Jones knot Invariants and Vassiliev Invariants
We show that the n-th derivative of a quantum group invariant, evaluated at 1, is a Vassiliev invariant while the derivative of the Jones polynomial, evaluated at a real number 6 = 1, is not a Vassiliev in variant. The coeecients of the classical Conway polynomial are known to be Vassiliev invariants. We show that the coeecients of the Jones polynomial are not vassiliev invariants.
متن کاملSchematic Invariants by Reduction to Ground Invariants
Computation of invariants, which are approximate reachability information for state-space search problems such as AI planning, has been considered to be more scalable when using a schematic representation of actions/events rather than an instantiated/ground representation. A disadvantage of schematic algorithms, however, is their complexity, which also leads to high runtimes when the number of ...
متن کاملON THE USE OF KULSHAMMER TYPE INVARIANTS IN REPRESENTATION THEORY
Since 2005 a new powerful invariant of an algebra has emerged using the earlier work of Horvath, Hethelyi, Kulshammer and Murray. The authors studied Morita invariance of a sequence of ideals of the center of a nite dimensional algebra over a eld of nite characteristic. It was shown that the sequence of ideals is actually a derived invariant, and most recently a slightly modied version o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lecture Notes in Computer Science
سال: 2021
ISSN: ['1611-3349', '0302-9743']
DOI: https://doi.org/10.1007/978-3-030-81688-9_8